(declare-fun a (Int Int) Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(assert (= (a d b) (a 0 c)))
(assert (= d (mod e 3)))
(check-sat)
(assert (= (a d b) (a 0 c)))
(assert (= d (mod e 3)))
(check-sat)
